A Semi-automated Wizard of Oz Interface for Modeling Tutorial Strategies