% of all sentences in the filings of companies in the mining industry which refer to robotics, by company headquarters