Computer-Aided Modeling for the Sustainable Development of Smart Cities