Non-Stationary Semi-Markov Decision Processes on a Finite Horizon