Innovation in traditional industries like coal mining is not just possible—it's essential.