Model Predictive Control of Highway Emergency Maneuvering and Collision Avoidance