Stochastic model predictive control for tracking linear systems