Distributed Leader-Follower Formation Control for Autonomous Vessels based on Model Predictive Control