the coal mining industry in kentucky