Charging and discharging of ballast tanks on ships