how does a flettner vent work