STF abre caminho para soltura de Lula