Progressive Technologies of Coal, Coalbed Methane, and Ores Mining