Provable Variational Inference for Constrained Log-Submodular Models