Após 17 anos como ministro, Ricardo Lewandowski se aposenta do STF