Which of the following term structure models is arbitrage-free and uses a binomial lattice approach?