Mathematical models and solution algorithms for resilient network Design