A composição da renda no topo da distribuição: evolução no Brasil entre 2006 e 2012, a partir de informações do Imposto de Renda