Stochastic Optimization in Insurance: A Dynamic Programming Approach (SpringerBriefs in Quantitative Finance)