Contribución de la exploración petrolífera al conocimiento de la geología de España