method of mining lime stone