Supervisory Model Predictive Control for Freeway Traffic Systems