The ROV Manual: A User Guide for Remotely Operated Vehicles