Retirement Consumption and Pension Design