3. What rock was mined to produce copper?