Automated Generation of Self-Explanation Questions in Worked Examples in a Model-Based Tutor