Global bathymetry derived from altimeter data of the ERS-1 geodetic mission