Integration of Cloud and Big Data Analytics forFuture Smart Cities