divixtotal empleo publico