Magistrado responsável pelo primeiro processo contra Lula é definido