Model-based predictive control for bicycling in urban intersections