Push–relabel maximum flow