Uma análise dos aspectos distributivos da aposentadoria por tempo de contribuição do INSS com o emprego de matemática atuarial