¿Cuál es la extensión total de España en kilómetros cuadrados?