Quem foi o presidente do Brasil durante o processo de redemocratização e a promulgação da Constituição de 1988?