Using VFT as a Constraint for Goal Programming Models: A Case Study for Turkish Air Force Flying Hour Program