Pruning and Training, Revised New Edition: What, When, and How to Prune