Traffic Microsimulation Model to Predict Variability of Red-Light Running Influenced by Traffic Light Operations in Urban Area