the process of mining limestone