Systems biology markup language (SBML) Level 2: structures and facilities for model definitions