A short historical review of cave mineral explorations in Slovenia before 1930