Text this: Selecting Traffic Signal Types for Safer Pedestrian Crossings in Urban Areas