Automated categorization of pre-trained models for software engineering: A case study with a Hugging Face dataset