FeTa: A DCA Pruning Algorithm with Generalization Error Guarantees