una introducción acerca de la minería de piedra