Minimalizm formalny. Stosowanie instytucji partycypacji społecznej w Krakowie w świetle koncepcji Smart City