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