Provably Robust Metric Learning Lu Wang