Gravar-mail: Efficient decoding algorithms for generalized hidden Markov model gene finders