Gravar-mail: Identifying functional modules in protein–protein interaction networks: an integrated exact approach