The derivation of a dynamical model for a manta robot and its control