A model-based approach to fault diagnosis in unmanned underwater vehicles