Coal’s coming decline has miners facing 4,00,000 layoffs by 2035