7 billion tons per year of coal is mined. 60,000 tons of Uranium is mined (a few tens of millions of tons of ore).
Others following one of my other comment have basically said that in situ leeching is the only method used but I doubt that for several reasons. Not least of which that I gathered uranium is mined alongside other metals and I doubted acid leeching would work for all of them at the same time.