Knowledge distillation for fast and accurate DNA sequence correction