Lewandowski, o mais petista dos ministros do STF, se aposenta