_____________ mining, which was sometimes called lode or hard-rock mining, required the construction of tunnels and pumps to remove water from underground caverns.