Text this: Discovering ePassport Vulnerabilities using Bisimilarity