Describir: Mathematical Programming and Graph Neural Networks illuminate functional heterogeneity of pathways in disease