Modeling of a Marine Hydrokinetic Cycloturbine Vehicle