what is the defination of crushing in mining