Causal Discovery by Interventions via Integer Programming