What was the german Hans Joachim von Ohain the first to put into practice narrowly beating englishman Frank Whittle?