Long-term C-check scheduling for a fleet of heterogeneous aircraft under uncertainty