Receding Horizon Formation Tracking Control of Constrained Underactuated Autonomous Underwater Vehicles | Synapse