Big Data Analysis and Knowledge Discovery for Smart City Development Enhancement