Show how to extract the user ID from the ID token.