meaning of crushing in mining