A delay/Doppler radar altimeter for ice sheet monitoring