Mining automation: Systems, solutions and companies