A fractionally owned autonomous vehicle fleet sizing problem with time slot demand substitution effects. (January 2019)