Coastal sea level measurements using a single geodetic GPS receiver