Nvidia buys developer platform Hugging Face for $12.9bn The Times