Models to add to mimiframework.org

Can you add the following models to the list of models that use Mimi:

Thanks!

Doing so in this PR: https://github.com/mimiframework/Mimi.jl/pull/499

Awesome! Thanks.
Here are some more characters so I can post this.