Infinite-horizon deterministic dynamic programming in discrete time: a monotone convergence principle and a penalty method. (2nd October 2016)