Analytic formulation of optimal structural intervention strategies in Boolean Networks