Traffic jams just a maths problem, says Israeli Artificial Intelligence firm