What must be carried out in order to manually launch an inflatable liferaft not designed for float-free operation?