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