Measurement of ocean wave heights with a satellite radar altimeter