From London to Edinburgh in 75 seconds? Tim Peake uses Google Gemini just to break down the numbers