Lightweight Network Traffic Classification Model Based on Knowledge Distillation