Added implementation of 'push-relabel' with highest label selection rule.