Describir: Optical Recognition of Handwritten Logic Formulas Using Neural Networks