Gold Allocation in Pension Funds: How Much Should Retail Investors Hold?