Model Predictive Control of Quadrotor Swarms via Computationally Tractable Collision Avoidance Constraints | Synapse