‘Holy moly!’: Inside Texas’ fight against a ransomware hack