breve introducción para la minería de piedra