Estimated $ amount lost in US government ransomware attacks from 2018 to October 2022