Progress in drilling technology and equipment under complex geological conditions in coal mines in China