construction of stone mining material