Mixed integer programming for multi-vehicle path planning | Synapse