Mimi.jl: A Computational Platform for Integrated Assessment Modeling