The Grozny oil and Terek mining industry before nationalization