Email Record: Progressive technologies of coal, coalbed methane, and ores mining /