Data-Driven Worked Examples Improve Retention and Completion in a Logic Tutor