qual é a população de lisboa