is a coal mill the same as pulverizer