what are the 3 largest cities by population in spain?