The end of coal: an industry out of time