Safe Swarm Navigation in Constrained Environments: A Dynamic Tube-Based Distributed MPC Approach | Synapse