Milan-Juventus, designato l'arbitro Mazzoleni