Antarctic snow-covered sea ice topography derivation from TanDEM-X using polarimetric SAR interferometry