modern methods of stone mining