Modeling traffic safety at urban four-leg signalized intersections