Gravar-mail: Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction