Towards Certified Robustness of Metric Learning