Describir: A feedback queueing network model for traffic signal control at intersections considering congestion propagation in dynamic stochastic environments