A Formally Robust Time Series Distance Metric