Advances in Urban Digital Twin Models and a Four-Dimensional Coupling Framework of Physical-Social-Information-Time (PSIT)