argon gas in mining