Exact Algorithms for Network Fortification and Design Problems under Stochastic Interdiction