Differential Privacy Meets Neural Network Pruning