New C3.ai CEO bets big on government AI use as shares slide