STF confirma anulações das condenações e torna Lula ficha-limpa e elegível