Non-linear model predictive formation control for groups of autonomous surface vessels | Synapse