which methed of mining used to extract marble rock