Designing learner-controlled educational interactions