Domain-specific synthesis of simulation models