OnCity Digital Twins and Agent-Based Models: An illustration