Miners' wages and coal prices