Has COVID-19 impacted Europe’s smart city development?