rock crushing machine used in mining