Variable Annuities and embedded options. Models and tools for fair valuation and solvency appraisal