Hut 8 prices $4.25 billion in notes for Texas data center campus