Optimisation Models for Pathway Activity Inference in Complex Diseases