Integer linear programming for contrasting state interventions in Boolean networks (PeerJ, 2026)