Representing pedestrian activity in travel demand models: Framework and application