Comparison of radar-altimetry data over Greenland with surface topography derived from airborne laser altimetry