Pedestrian sensing for increased traffic safety and efficiency at signalized intersections.