An optimization model for vehicle routing of automated taxi trips with dynamic travel times