Green Computing in Smart Cities: Simulation and Techniques