Exact Analysis for Error Probability of Viterbi Decoding in Sequence Dependent Channels