contribución de la minería en la economía peruana