Gravar-mail: The role of double-diffusive convection in basal melting of Antarctic ice shelves