the economic contributions of us mining