Model-predictive control of the lane configuration at signalized intersections