Cognitive load theory and the computation of instructional efficiency