Applications of big data to smart cities