Time-Aware Smart City Services based on QoS Prediction: A Contrastive Learning Approach