A dynamic programming approach to price installment options