Teoria do adimplemento substancial não respalda adjudicação compulsória, decide Terceira Turma