Reconstruction of basal properties in ice sheets using iterative inverse methods