facts about coal mining in appalachia