Hugging Face overweegt verkoop bij waardering van 13 miljard