Computation in constrained stochastic model predictive control of linear systems