Classifying Pathways for Smart City Development: Comparing Design, Governance and Implementation in Amsterdam, Barcelona, Dubai, and Abu Dhabi