¡Benvenuto! Mario Mandzukic, fichado por el Milán