Zaslat SMS: Stochastic model predictive control and its application for small satellite attitude control