Modular Autonomous Vehicle in Heterogeneous Traffic Flow: Modeling, Simulation, and Implication