Solving Multi-UAV Dynamic Encirclement via Model Predictive Control | Synapse