Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities