Neural Network Pruning: A Gentle Introduction