what is the definition of crushing in mining