Gravar-mail: BioASF: a framework for automatically generating executable pathway models specified in BioPAX