HUSSMAN STRATEGIC ADVISORS, INC. portfolio value