MathOptAI.jl: Embed trained machine learning predictors into JuMP models