what is the term for the process of crushing stone