minería en la história del perú