Gravar-mail: Algorithms for incorporating prior topological information in HMMs: application to transmembrane proteins