Mathematical Programming Approaches for Multi-Vehicle Motion Planning