The control of dust in mines