Progressividade e aspectos distributivos na previdência social: Uma análise com o emprego dos microdados dos registros administrativos do RGPS · Study