Accurate Neural Network Pruning Requires Rethinking Sparse Optimization