Gravity currents beneath ice shelves