Spacecraft attitude control using explicit model predictive control