Undoing Optimization: Civic Action in Smart Cities