Real-Time Traffic Safety Evaluation Models And Their Application For Variable Speed Limits