Solvency of life insurance companies: methodological issues