prophet , solvency calculations, actuarial modeling platforms, asset-liability matching principles, balance sheet management, capital optimization, dynamic solvency stress testing methodologies, life actuarial functions, RBC2 capital reporting