hmm's backward algorithm