“The world’s leading mining companies are now unanimous in reporting that cyber threats are a principal risk to them achieving their goals.”