Estimation of slack tide using GPS measurements on a buoy: A case study on buoy 18 in the Schelde Estuary