Title: The mining of coal