Minestis for Estimation Domain Modeling