Vereinigte Staaten, Beschäftigtenzahl im öffentlichen Dienst (United States Government Payrolls)