Gravar-mail: Uncovering signal transduction networks from high-throughput data by integer linear programming