Models and observations of the antarctic ice sheet thermal state and implications for ice sheet dynamics