Viterbi sequences and polytopes