Add introduction and overview of global minimum cut algorithm.
Clarify that minimum cut theorems apply to undirected graphs.
Add both cases for global minimum cut algorithm.