Someone mentioned that whittling down a 60 mile thick crust by dozens of miles seems like a lot of erosion for a single mile's thickness of water to do. Has this been calculated, and if so, what were the results?