CEO da C3.ai, Thomas Siebel, vende ações da empresa por US$ 4,76 milhões