type of mining for lead