Derby, i 23 precedenti fra Milan e Inter in Coppa Italia: i numeri