Adaptive dynamic programming, data-driven control, stochastic discrete-time linear quadratic regulator, value iteration, small-disturbance input-to-state stability