hoeveel mensen wonen er in amsterdam