Milan-Porto, cinque curiosità sulla partita di Champions League