Differentiable Submodular Maximization