Bioinformatic and Systems Biology Tools to Generate Testable Models of Signaling Pathways and Their Targets1