[2405.12100] DOP: Diagnostic-Oriented Prompting for Large Language Models in Mathematical Correction