dust in quarrying and mining plants