is a crusher and pulverizer the same thing