vad är befolkningen i stockholm