hugging face revenue 2022. The majority of Hugging Face’s co