Melting and freezing under Antarctic ice shelves from a combination of ice-sheet modelling and observations