Artificial Intelligence, Machine Learning, and Optimization Tools for Smart Cities