Text this: Gas drainage and utilization in coal mines in China: History, technological advances, and prospects