is a coal crusher and pulverizer the same thing