A novel decision support system for optimizing aircraft maintenance check schedule and task allocation