Cellular data meet vehicular traffic theory: location area updates and cell transitions for travel time estimation.