On the reliability of the Autosub Autonomous Underwater Vehicle