The GEOSAT Altimeter Mission: A milestone in satellite oceanography