Optimizing coordinated vehicle platooning: An analytical approach based on stochastic dynamic programming