Optimal Annuitisation, Housing Decisions and Means-Tested Public Pension in Retirement Under Expected Utility Stochastic Control Framework