The uses of paper in commercial airline flight operations