Embedding Autonomous Vehicle Sharing in Public Transit System: An Example of Last-Mile Problem