Text this: A system for automatic construction of knowledge graphs of mathematical documents