Appalachia comes up small in era of giant coal mines

As the coal industry is squeezed, the most productive mines employ huge machines and relatively few people.