Traffic jams just a math problem, says Israeli AI firm