The Pennsylvania mine rescue and the human cost of coal