Gobierno peruano moderniza plataforma web para facilitar formalización minera