Defense Bookings Surge 134 Percent at C3.ai