An integrative workflow for 3D city model versioning