Gravar-mail: Modeling approaches for qualitative and semi-quantitative analysis of cellular signaling networks