Official: Bennacer joins Milan