O prefeito do Recife lidera com vantagem e derrotaria a atual governadora em todos os cenários testados