Bus arrival time calculation model based on smart card data · Study