Synthesizing route travel time distributions from segment travel time distributions