Gravar-mail: A rule-based model of insulin signalling pathway