Adding semantics in kinetics models of biochemical pathways