Precios de productor de industrias subieron 5,3% en julio impulsados por sector minero