Several of those are, in fact, math. (In particular, computer simulation.) The others are mostly phsyical models, which I must admit, I had not thought of. So that yields two; mathematical models (that is to say, formal models) and physical models (that is to say, real-world models). (The line can perhaps be a bit blurry in the case of e.g. digital electronic circuits, but, well, I'm not claiming there's a sharp line.)

That leaves "mythology", which I'm not convinced is a proper modeling medium at all.

But those are examples of modeling math, with a superficial layer of physical material. Another way to say it is the degree that these are useful models, is the same degree to which they reflect mathematics. With the possible exception of mythology.

Many of which are reducible to math. Though I'm not sure what legos have been "unreasonably effective" at predicting.