Computational Urban Planning and Management for Smart Cities