mining cutting tool market share