Perú espera formalizar 12 mil mineros informales para el 2018