Dias, Antonio José Ribeiro, IBGE, Brasil