O que acontece se Lula e Flávio Bolsonaro empatarem no segundo turno?

Legislação eleitoral brasileira estabelece um critério de desempate caso dois candidatos terminem a votação com exatamente o mesmo número de votos válidos.