Rejuvenation Pruning: What Is It, Why Do It, and When