Official: Milan sign El Shaarawy