execução renato lúcio alexandre