Distrito Federal ganhou 71 mil funcionários públicos em 2013