Explorable, extensible, introspectable educational simulations