Arqueología y espeleología en el estudio de la minería antigua