Gravar-mail: Specification, annotation, visualization and simulation of a large rule-based model for ERBB receptor signaling