Microsoft gör stor investering i AI-företaget G42