像煤炭开采这样的传统行业中的创新不仅是可能的——它是必不可少的。