A data-driven methodology for prioritizing traffic signal retiming operations