hva er populasjonen i stavanger