Visual Simulation of Pedestrian Movement Using IoT Sensor Data in a Smart City Digital Twin