STF mantém anulação das condenações de Lula