Smart Mining Market Analysis and Forecast to 2031: By Type (Underground Mining, Surface Mining), Category (Automated Equipment, Component), and Region