Text this: Stochastic optimal control: the discrete time case