use of lead in mining