Solvency requirements for life annuities allowing for mortality risks: internal models versus standard formulas