Microwave radiometry for correcting radar altimeter data: the ERS-1 experiment