Short Right-Turn Lanes and Auxiliary Through Lanes: Intersection Capacity, Signal Timing, and Negative Lost Time | Synapse