Signal Timing Optimization for Transit Priority at Near-Saturated Intersections. (11th July 2018)