ProcessTron: Efficient Semi-Automated Markup Generation for Scientific Documents