Convex Modeling of Interactions with Strong Heredity