Exact Optimization Models and Algorithms for Large-scale Location and Interdiction Problems with Underlying Network Structure