Using metro smart card data to model location choice of after-work activities: An application to Shanghai