How many colors on a traditional traffic light