Integer programming-based method for completing signaling pathways and its application to analysis of colorectal cancer.