A formal approach to good practices in Pseudo-Labeling for Unsupervised Domain Adaptive Re-Identification