how is lime used in mining