Nvidia to buy Hugging Face, an open-source AI platform, for $12.9 billion CNBC