DENSE: efficient and prior knowledge-driven discovery of phenotype-associated protein functional modules