A combinatorial strongly polynomial algorithm for minimizing submodular functions