Nvidia neemt AI-bedrijf Hugging Face over voor bijna $13 miljard