Distributed Stochastic Model Predictive Control for Human-Leading Heavy-Duty Truck Platoon | Synapse