2.3 Million Jobs: The Federal Workforce, in Charts (Wall Street Journal)