Milan-Juve, le formazioni ufficiali: le scelte di Pioli e Allegri per il big match