Official: Gazidis leaves Arsenal for AC Milan