Design of an automatically sequenced vacuum pumping system