Credential-Authenticated Identification and Key Exchange (Extended Version)