Tidal measurements in the Gulf of Mexico: intercomparison of coastal tide gauge, insular GNSS reflectometry and SAR altimetry