The actual and estimated annual revenue from mining and quarrying in the U.S. from 2017 to 2025 (in billion U.S. dollars)