Sequence- and time-dependent maintenance scheduling in twice re-entrant flow shops