Federated Pruning: Improving Neural Network Efficiency with Federated Learning