Forward modeling of ice topography on Mars to infer basal shear stress conditions