Semi-Markov Backward Credit Risk Migration Models: a Case Study