home > > when pulverizing coal what is a crusher use for