Practical Data-Dependent Metric Compression with Provable Guarantees