Capacity analysis techniques for signalized intersections