Inverse problems for basal properties in a thermomechanically coupled ice sheet model