Decentralized optimal control of a vehicle platoon with guaranteed string stability