Nvidia agrees to acquire Hugging Face for $13B