Optimal structural inference of signaling pathways from unordered and overlapping gene sets