production process of stone in stone mining