Intelligent pedestrian traffic lights