purpose of rock crushing in mining industry