Petre Gamkhrelidze — Georgian engineer and geologist (1903-1979)