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