Como são os semáforos inteligentes que usam algoritmos e IA para acabar com o trânsito