Test retrofitting with competence-based knowledge space theory: empirical applications with two educational tools