Combining model tracing and constraint-based modeling for multistep strategy diagnoses