how is lime used in the mining process