Máy nén khí, máy bơm hơi PILO