hvor mange mennesker bor i oslo nå