Algorithmic Governance in Smart Cities: The Conundrum and the Potential of Pervasive Computing Solutions