Generating metrics from traces with cardinality control: A closer look at HyperLogLog in TempoTempoTracing