An exact (re)optimization framework for real-time traffic management