Comparative Metric Semantics of Programming Languages