Optimal Asset-Liability Management with Constraints: A Dynamic Program- ming Approach