mine vent tube