From smart parking to dining, Shanghai’s ambitious aim to digitalize its life services by 2035