Autonomous Underwater Vehicles: Modeling, Control Design and Simulation