Non-tidal ocean loading effects on geodetic GPS heights