definition of pulverising mill