巴塞罗那是西班牙第几大城市之城