Mining's part in Arizona's economy