Use leading zeros in trace-id format for text headers