Dust extractors and air filters