Кой град, по данни от 2020 г., е третият по големина в Испания въз основа на населението му?