“From December 2007 through June 2009, average federal employee salaries increased by 6.6 percent, while average private-sector salaries increased by 3.9 percent.”