process for mining lime stone