Official: Milan appoint Giampaolo