The Accuracy of Expert-System Diagnoses of Mathematical Problem Solutions