Gravity reductions and observations at sea