can a ball mill be used to pulverize coal