Discrete Optimal Control of Linear Stochastic Systems