California partners with 5 tech firms to use AI to tackle traffic jams, taxes, other issues