Model abstraction techniques and applications: informing and calibrating a multiresolution exploratory analysis model with high resolution simulation: the interdiction problem as a case history.