Push-relabel algorithm