Investigación marina y servicios a la sociedad: el Instituto Español de Oceanografía