Migration of radar altimeter waveform data