From Average Travel Time Budgets to Daily Travel Time Distributions