The k-best paths in Hidden Markov Models. Algorithms and Applications to Transmembrane Protein Topology Recognition.