ProcessTron: efficient semi-automated markup generation for scientific documents.