Hugging Face in talks to be acquired for $13 billion — Trace