Interdiction and discrete bilevel linear programming