From gamification to collaborative glossaries and case studies — 7 proven teaching techniques that boost engagement and completion in online courses.