Global Mining Tools Market By Type (Tool Kit, and Single Tools), By Application (Underground Mining, and Opencast Mining), By Region and Key Companies - Industry Segment Outlook, Market Assessment, Competition Scenario, Trends and Forecast 2019-2028