Dynamic multi-objective aviation maintenance scheduling: an algorithmic framework | Synapse