Mathematical Models of Marine Vehicle-Manipulator Systems