Efficiency in mining comes from continuous improvement, not just big breakthroughs.