hva er innbyggertallet i oslo