Polyhedral formulations for minimum cut 1