Text this: Lightweight defect detection algorithm of tunnel lining based on knowledge distillation