Estimated $ amount lost in US government ransomware attacks from 2018 to December 2023