Title: Miners' wages and the cost of coal