Sea level change in the Gulf of Mexico basin as determined from a combination of six satellite altimetry records (1993 to 2010)