Text this: Speculum Observation and Trajectory Measurement in Gas Extraction Drilling: A Case Study of Changling Coal Mine