Sea‐level measurements from tide gauges