Stochastic solvency valuation for a life annuity portfolio