How many types of vacuum pumps are there?