Alves, José Eustáquio Diniz, Instituto Brasileiro de Geografia e Estatística, Brasil