Intelligent traffic light design and control in smart cities: a survey on techniques and methodologies