How vacuum is produced by vacuum pump?