See which agencies employ the federal workforce's highest earners.