Provably Robust Metric Learning