mining industry hand tool market share