Safety Verification of a Cooperative Vehicle Platoon with Uncertain Inputs Using Zonotopes