Hugging Face has been exploring a sale that could value it at $13B+