Hur många invånare finns det i Oslo exakt?