Things to know about Gulfstream G700 that recently set two speed records