Moving mesh finite element modeling of ocean circulation beneath ice shelves