Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded (2018-03-02T00:00:00.000000Z)