Text this: Integer linear programming for contrasting state interventions in Boolean networks