A multi-objective fuzzy optimization model for multi-type aircraft flight scheduling problem | Synapse