mining process of lime stone