Advancing Safety in Highway Automated Driving: A Stochastic Model Predictive Approach