Reliability Case Notes No. 8. Risk and reliability analysis of Autosub 6000 autonomous underwater vehicle