America’s shrinking public workforce