How does oil vacuum pump work?