Text this: Analyzing the Privacy of a Healthcare RFID Authentication Protocol