The WOZ Math Recognizer: A Mathematics Handwriting Recognition Wizard of Oz Tool