Polyhedral approaches to survivable network design