Stephen Ehikian assume comando da C3 AI: implicações para o mercado federal de inteligência artificial Lucas Lima 4 de September de 2025