Logical topology augmentation for guaranteed survivability under multiple failures in IP-over-WDM optical networks