Using ILP to Identify Pathway Activation Patterns in Systems Biology