A dual-strategy multi-objective evolutionary algorithm with domain-informed mutation and secondary weighted selection for counterfactual explanations in knowledge tracing | Synapse