Official: Theo Hernandez joins Milan