Neural-network-based discounted optimal control via an integrated value iteration with accuracy guarantee. (December 2021)