Which would you prefer: 401k with company match or Roth 401k