a traffic light with green and red lights