Juve-Milan, le formazioni ufficiali: le scelte di Allegri e Pioli