Using metro smart card data to model location choice of after-work activities