Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization