the mining process of limestone