ALM Modeling and Balance Sheet Optimization (A Mathematical Approach to Banking)