An Algorithmic Theory of Dependent Regularizers, Part 1: Submodular Structure