Net-Trim: Convex pruning of deep neural networks with performance guaranteeAlireza AghasiAfshin Abdiet al.2017NeurIPS 2017