Mining and Mining Industries’ Export Value Surges $9B in 9 Months on Year