The Power of CK-12's Highlighting Tool and Word Definitions