A lightweight approach for network intrusion detection in industrial cyber-physical systems based on knowledge distillation and deep metric learning