Boletín - Instituto Geológico, Minero y Metalúrgico. Serie E, minería