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