Producción de la industria colombiana cayó 7,2% durante julio