process of mining lead from ore