EUDoptimizer: Assisting End Users in Composing IF-THEN Rules Through Optimization