Hava halkalı vakum pompası, hava halkalı kompresör, vorteks hava pompası