Guide to Vacuum Pump Oil: Types, Properties, and Uses