Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning