LipSim: A Provably Robust Perceptual Similarity Metric