Modeling, robust and distributed model predictive control for freeway networks