mining rock processing for rock crushing