Modeling, optimization, and decision support for integrated urban and infrastructure planning