Model predictive formation control of multi-vessel systems considering ship-to-ship interaction | Synapse