Stochastic Annuitization And Asset Allocation Under Uncertain Lifetime