From Manual Labor to Automation: Evolution of the Underground Mining Automation Market