Formation-Constrained Cooperative Localization for UAV Swarms in GNSS-Denied Environments | Synapse