Text this: Review of construction and reasoning methods for knowledge graphs in coal mining domain