Gravar-mail: Detecting overlapping protein complexes based on a generative model with functional and topological properties