A model predictive vertical motion control of a passenger ship