Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage.