more modeling to integrate with convex.jl, but monotonicity not correctly exported?