A probabilistic validation approach for penalty function design in stochastic model predictive control