Model and algorithm for resolving regional bus scheduling problems with fuzzy travel times.