How Big Data and Internet of Things Build Smart Cities