A Design Framework for Instrumenting Analytic Provenance for Problem-Solving Tasks