Gravar-mail: PathFinder: mining signal transduction pathway segments from protein-protein interaction networks