How should pedestrians cross when there are no pedestrian signals on an intersection with traffic lights?