Lightweight and Anonymity-Preserving User Authentication Scheme for IoT-Based Healthcare | Synapse