Fast as CHITA: Neural Network Pruning with Combinatorial Optimization