Robust Optimization Model for Bus Priority under Arterial Progression