Submodular Decomposition Framework for Inference in Associative Markov Networks with Global Constraints