How traffic lights work, featuring the last of the mechanical controllers