Combining Investment and Tax Strategies for Optimizing Lifetime Solvency under Uncertain Returns and Mortality