Model Checking Discounted Temporal Properties