Dynamic Modeling of Underwater Multi-Hull Vehicles