Gravar-mail: Converting networks to predictive logic models from perturbation signalling data with CellNOpt