Manchester City vs Real Madrid 17/05/2023 Risultati, Match report, Statistiche