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