Населението на София