US federal government employees as a % of all employed people in US