Hi, I'm very new to Gazebo and I need to simulate a simple controller for a traffic light. I have a ROS program that controls the colors of two traffic lights and I intend to simulate this program using gazebo. Is there any SDF model for the traffic light? I need a clue where to start.