The markup is the model: Reasoning about systems biology models in the Semantic Web era