mining of stone and crushing