Dust extraction, industrial ventilation and filtration