Juventus-Inter, le designazioni ufficiali: scelto l'arbitro della sfida