Modeling and experiments on differential pumping in linear plasma generators operating at high gas flows