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