Solving mixed-integer optimal control problems by branch&bound: a case study from automobile test-driving with gear shift | Synapse