Agent-Based Modeling and Simulation on Residential Population Movement Patterns: The Case of Sejong City | IEEE Conference Publication | IEEE Xplore