Optimization techniques for urban highway traffic signalization