Arizona, Copper capital, U.S.A., Facts about Arizona'a copper mining industry