Gravar-mail: PATHLOGIC-S: A Scalable Boolean Framework for Modelling Cellular Signalling