Optimal choice of intra platoon spacing based on mu-jump maneuvers