Sequential truck platoon formation in mixed traffic: Complex spring mass damper system design, protocol network development, and mathematical analysis