There's more to a model than code: understanding and formalizing in silico modeling experience