Theory And Design Of Getter Ion Pumps