ball mill used for pulverization of coal