Heterogeneous vehicle platooning in mixed traffic: Modeling and analysis using Markov chains | Synapse