How Do Pilots Know How High They Are