Exportaciones mineras registran un incremento de 7.5% al mes de julio