Model-based fault detection for unmanned underwater vehicles