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