machine used for mining limestone