hvor mange mennesker er det i norge