Submodular functions in graph theory