Polythermal modelling of steady states of the Antarctic ice sheet in comparison with the real world