¿Cuál es la tercera ciudad española en cuanto número de habitantes?