Statistics of Smart city development as public entrepreneurship: an in-depth case study analysis based on actor-network theory