Artificial intelligence is prioritizing green lights for San Jose's buses - speeding them along their routes 20% faster, city ...