Diagnostic models for procedural bugs in basic mathematical skills