Between Participatory Approaches and Politics, Promoting Social Innovation in Smart Cities: Building a Hum–Animal Smart City in Lucca