Progressive technologies of coal, coalbed methane, and ores mining. (2014)