present technology used in mining coal