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