Waveheight and wind speed measurements from the SEASAT radar altimeter