Text this: Integrated Borehole Interpretation and BIM-Based Three-Dimensional Geological Modeling for Gas Control in Underground Coal Mining.