Title: The coal-mining industry