Juventus-Milan, arbitra Mazzoleni