A new finite-horizon dynamic programming analysis of nonanticipative rate-distortion function for Markov sources