Transformation of smart city public services through AI and big data analytics: Towards universal cross-sector solutions