A new decoding algorithm for hidden Markov models improves the prediction of the topology of all-beta membrane proteins