Netwerkflussprobleme, Algorithmus von Ford-Fulkerson, Max-Flow-Min-Cut-Theorem