Edge Computing for IoT: A Use Case in Smart City Governance