Supervisory Model Predictive Control for freeway traffic systems