Queue estimation for isolated signalized intersections in intelligent vehicle-infrastructure cooperation systems.