Official: Milan sign Krunic