Why is mining important to the economy of the United States?