Número de funcionários públicos atinge valor mais elevado dos últimos 13 anos