Norway’s gargantuan sovereign wealth fund, by the numbers