If you visit a commercial mining operation anywhere in the world today, some sights and sounds—workers descending in elevators to underground shafts, the roar of truck engines—will be much the same as ...