Modeling and optimization of dedicated bus lane network design under dynamic traffic congestion