"The retirement system that is in place for members of Congress and other federal workers features what is known as the Federal Employment Retirement Plan."