Lev Rukhin — Soviet geologist (1912-1959)