https://1library.org/document/zgx22xnq-optimal-signal-timing-signalized-intersection-global-optimization-opt.html