Probabilistic programming models for traffic incident management operations planning · Study