Government-Backed Insurance for Artificial Intelligence Technologies