Martel, Applications géologiques de la spéléologie, origine et rôle des cavernes