Reviews: Provable Variational Inference for Constrained Log-Submodular Models