¿Qué, cuánto, y hacia dónde exportan los proveedores de la minería chilena?