Special Issue on Smart Cities in Practice: Value Sources, Applications and Functionalities