Development of Dynamic Traffic Signal Control Procedures for Oversaturated Arterials and Genetic Algorithms Solutions