Attribute-Based Credentials for Privacy-Aware Smart Health Services in IoT-Based Smart Cities