Empirical Analysis and Modeling of Stop-Line Crossing Time and Speed at Signalized Intersections