SECMACE: Scalable and Robust Identity and Credential Management Infrastructure in Vehicular Communication Systems