Vacuum pumping systems and vacuum pumps