Approximately what percentage of the U.S. labor force works for U.S. governments at the federal, state, and local levels (as of 2011)