The amount of dust produced by the crushing of coal