Making Computer and Normative Codes Converge: A Sociotechnical Approach to Smart Cities