Path2Models: large-scale generation of computational models from biochemical pathway maps | Synapse