SequentialAttention+ + for Block Sparsification: Differentiable Pruning Meets Combinatorial Optimization