Innovation in coal mining isn't about reinventing the wheel, but about making the wheel more efficient and environmentally friendly.