Estimates of sea level in the tropical Atlantic Ocean using Geosat altimetry