Smart City and Digital Twins: Definitions, Methodologies, and Applications