A gradient boosting logit model to investigate driver's stop-or-run behavior at signalized intersections using high-resolution traffic data. (November 2016)