Dust can be a health hazard to mine workers.