A MIXED-INTEGER MODEL PREDICTIVE CONTROL FORMULATION FOR LINEAR SYSTEMS