High-rate local sea level monitoring with a GNSS-based tide gauge | IEEE Conference Publication | IEEE Xplore