Google, Amazon, Nvidia, and others put $235 million into Hugging Face