Nonlinear Model Predictive Trajectory Tracking Control of Underactuated Marine Vehicles: Theory and Experiment | Synapse