Big Data Analysis for Smart City Applications