Arterial-Level Traffic Progression Optimization Model within Connected Vehicle Environment