Milan-Inter, numeri alla mano: l’efficienza che non fa rumore