[2210.08005] A MIP-Based Approach for Multi-Robot Geometric Task-and-Motion Planning