Modelling and Navigation for the Hammerhead Autonomous Underwater Vehicle