Describir: Optimal control of discrete time stochastic systems