Bitcoin Miner Terawulf Säkra 25-årigt AI-beräkningskontrakt värderat till 9,5 miljarder dollar