a brief history of mining operations in pima county