Nvidia to buy Hugging Face for $12.9 billion in AI bet