Study on the formulation of vehicle merging problems for model predictive control.