Rigid Formation Control using Hovercrafts: A Spatial Model Predictive Control Approach