Models for Simulation and Control of Underwater Vehicles