How Social Security Should Affect Asset Allocation during Retirement