Text this: The British coal-mining industry during the war