what is the lead mining process