Learning Temporal Distances: Contrastive Successor Features Can Provide a Metric Structure for Decision-Making