Auto-Categorize Support Tickets with AI: An Ops Guide